The 'Science of Knowing: Mathematics' textbook is the first book to put forward and substantiate the thesis that the mathematical understanding of mathematics, as exemplified in F. William Lawvere's Functorial Semantics, constitutes the science of knowing i.e. cognitive science. -/- This is a textbook, i.e. teaching material.

Cognition involves physical stimulation, neural coding, mental conception, and conscious perception. Beyond the neural coding of physical stimuli, it is not clear how exactly these component processes constitute cognition. Within mathematical sciences, category theory provides tools such as category, functor, and adjointness, which are indispensable in the explication of the mathematical calculations involved in acquiring mathematical knowledge. More speci cally, functorial semantics, in showing that theories and models can be construed as categories and functors, respectively, and in establishing the adjointness (...) between abstraction (of theories) and interpretation (to obtain models), mathematically accounts for knowing-within-mathematics. Here we show that mathematical knowing recapitulates--in an elementary form--ordinary cognition. The process of going from particulars (physical stimuli) to their concrete models (conscious percepts) via abstract theories (mental concepts) and measured properties (neural coding) is common to both mathematical knowing and ordinary cognition. Our investigation of the similarity between knowing-within-mathematics and knowing-in-general leads us to make a case for the development of the basic science of cognition in terms of the functorial semantics of mathematical knowing. (shrink)

Background: -/- One influential view is that vulnerability to major depressive disorder (MDD) is associated with a proneness to experience negative emotions in general. In contrast, blame attribution theories emphasise the importance of blaming oneself rather than others for negative events. Our previous exploratory study provided support for the attributional hypothesis that patients with remitted MDD show no overall bias towards negative emotions, but a selective bias towards emotions entailing self-blame relative to emotions that entail blaming others. More specifically, we (...) found a decreased proneness for contempt/disgust towards others relative to oneself (i.e. self-contempt bias). Here, we report a definitive test of the competing general negative versus specific attributional bias theories of MDD. Methods: -/- We compared a medication-free remitted MDD (n = 101) and a control group (n = 70) with no family or personal history of MDD on a previously validated experimental test of moral emotions. The task measures proneness to specific emotions associated with different types of self-blame (guilt, shame, self-contempt/disgust, self-indignation/anger) and blame of others (other-indignation/anger, other-contempt/disgust) whilst controlling for the intensity of unpleasantness. Results: -/- We confirmed the hypothesis that patients with MDD exhibit an increased self-contempt bias with a reduction in contempt/disgust towards others. Furthermore, they also showed a decreased proneness for indignation/anger towards others. Conclusions: -/- This corroborates the prediction that vulnerability to MDD is associated with an imbalance of specific self- and other-blaming emotions rather than a general increase in negative emotions. This has important implications for neurocognitive models and calls for novel focussed interventions to rebalance blame in MDD. (shrink)

Background: Subgenual cingulate cortex (SCC) responses to self-blaming emotion-evoking stimuli were previously found in individuals prone to self-blame with and without a history of major depressive disorder (MDD). This suggested SCC activation reflects self-blaming emotions such as guilt, which are central to models of MDD vulnerability. -/- Method: Here, we re-examined these hypotheses in an independent larger sample. A total of 109 medication-free participants (70 with remitted MDD and 39 healthy controls) underwent fMRI whilst judging self- and other-blaming emotion-evoking statements. (...) They also completed validated questionnaires of proneness to self-blaming emotions including those related to internal (autonomy) and external (sociotropy) evaluation, which were subjected to factor analysis. -/- Results: An interaction between group (remitted MDD v. Control) and condition (self- v. other-blame) was observed in the right SCC (BA24). This was due to higher SCC signal for self-blame in remitted MDD and higher other-blame-selective activation in Control participants. Across the whole sample, extracted SCC activation cluster averages for self- v. other-blame were predicted by a regression model which included the reliable components derived from our factor analysis of measures of proneness to self-blaming emotions. Interestingly, this prediction was solely driven by autonomy/self-criticism, and adaptive guilt factors, with no effect of sociotropy/dependency. -/- Conclusions: Despite confirming the prediction of SCC activation in self-blame-prone individuals and those vulnerable to MDD, our results suggest that SCC activation reflects blame irrespective of where it is directed rather than selective for self. We speculate that self-critical individuals have more extended SCC representations for blame in the context of self-agency. (shrink)

Importance: Patients with remitted major depressive disorder (MDD) were previously found to display abnormal functional magnetic resonance imaging connectivity (fMRI) between the right superior anterior temporal lobe (RSATL) and the subgenual cingulate cortex and adjacent septal region (SCSR) when experiencing self-blaming emotions relative to emotions related to blaming others (eg, "indignation or anger toward others"). This finding provided the first neural signature of biases toward overgeneralized self-blaming emotions (eg, "feeling guilty for everything"), known to have a key role in cognitive (...) vulnerability to MDD. It is unknown whether this neural signature predicts risk of recurrence, a crucial step in establishing its potential as a prognostic biomarker, which is urgently needed for stratification into pathophysiologically more homogeneous subgroups and for novel treatments. -/- Objective: To use fMRI in remitted MDD at baseline to test the hypothesis that RSATL-SCSR connectivity for self-blaming relative to other-blaming emotions predicts subsequent recurrence of depressive episodes. -/- Design, setting, and participants: A prospective cohort study from June 16, 2011, to October 10, 2014, in a clinical research facility completed by 75 psychotropic medication-free patients with remitted MDD and no relevant comorbidity. In total, 31 remained in stable remission, and 25 developed a recurring episode over the 14 months of clinical follow-up and were included in the primary analysis. Thirty-nine control participants with no personal or family history of MDD were recruited for further comparison. -/- Main outcomes and measures: Between-group difference (recurring vs stable MDD) in RSATL connectivity, with an a priori SCSR region of interest for self-blaming vs other-blaming emotions. -/- Results: We corroborated our hypothesis that during the experience of self-blaming vs other-blaming emotions, RSATL-SCSR connectivity predicted risk of subsequent recurrence. The recurring MDD group showed higher connectivity than the stable MDD group (familywise error-corrected P < .05 over the a priori SCSR region of interest) and the control group. In addition, the recurring MDD group also exhibited RSATL hyperconnectivity with the right ventral putamen and claustrum and the temporoparietal junction. Together, these regions predicted recurrence with 75% accuracy. -/- Conclusions and relevance: To our knowledge, this study is the first to provide a robust demonstration of an fMRI signature of recurrence risk in remitted MDD. Additional studies are needed for its further optimization and validation as a prognostic biomarker. (shrink)

In celebration of Newton da Costa’s place in the history of paraconsistency, this paper considers the use and abuse of deliberate self-contradiction. Beginning with Parmenides, developed by Plato, and continued by Cicero, an ancient philosophical tradition used deliberately paraconsistent discourses to reveal the truth. In modern times, decisionism has used deliberate self-contradiction against Judeo-Christian revelation. • DOI:10.5007/1808-1711.2010v14n1p1.

This article examines one of the sources of David Benatar’s anti-natalism. This is the view that ‘all procreation is [morally] wrong.’ (Benatar and Wasserman, 2015:12) One of its sources is the claim that each of our lives is objectively bad, hence bad whether we think so or not. The question I will pose is whether the constraints of metaphysical naturalism allow for an objective devaluation of human life sufficiently negative to justify anti-natalism. My thesis is that metaphysical naturalism does not (...) have the resources to support such a negative evaluation. Metaphysical naturalism is the view that causal reality is exhausted by nature, the space-time system and its contents. The gist of my argument is that the ideal standards relative to which our lives are supposed to be axiologically substandard cannot be merely subjective expressions of our desires and aversions; they must be (i) objectively binding standards that are (ii) objectively possible in the sense of concretely realizable. The realizability condition, however, cannot be satisfied on metaphysical naturalism; ergo, failure to meet these ideal standards cannot show that our lives are objectively bad. (shrink)

Our manuscript addresses the foundational question of cognitive science: how do we know? Specifically, examination of the mathematics of acquiring mathematical knowledge revealed that knowing-within-mathematics is reflective of knowing-in-general. Based on the correspondence between ordinary cognition (involving physical stimuli, neural sensations, mental concepts, and conscious percepts) and mathematical knowing (involving objective particulars, measured properties, abstract theories, and concrete models), we put forward the functorial semantics of mathematical knowing as a formalization of cognition. Our investigation of the similarity between mathematics and (...) cognition led us to argue against the compartmentalization of scientific knowledge and ordinary cognition, and make a case for the understanding of the basic science of knowing in terms of functorial semantics. Recognizing functorial semantics as an elementary form of cognition can help advance cognitive science the way calculus helped in the advancement of physics. (shrink)

This review article examines Panayot Butchvarov’s claim that philosophy in its three main branches, epistemology, ethics, and metaphysics, needs to be freed from anthropocentrism.

Recounts the author's experiences and reasons that led him to reject the Democratic Party and become a conservative.

Central to Buddhist thought and practice is the anattā doctrine. In its unrestricted form the doctrine amounts to the claim that nothing at all possesses self-nature. This article examines an early Buddhist argument for the doctrine. The argument, roughly, is that (i) if anything were a self, it would be both unchanging and self-determining; (ii) nothing has both of these properties; therefore, (iii) nothing is a self. The thesis of this article is that, despite the appearance of formal validity, the (...) truth of (i) is inconsistent with the truth of (iii). (shrink)

This review article summarizes and in part criticizes Hugh J. McCann’s detailed elaboration of the consequences of the idea that God is absolutely sovereign and thus unlimited in knowledge and power in his 2012 Creation and the Sovereignty of God. While there is much to agree with in McCann’s treatment, it is argued that divine sovereignty cannot extend as far as he would like to extend it. The absolute lord of the natural and moral orders cannot be absolutely sovereign over (...) the conceptual and modal orders. (shrink)

This paper is a review of the book "Existence: Essays in Ontology" by Peter Van Inwagen.

This paper examines a famous argument for the Buddhist doctrine of anatta ("no self) according to which nothing possesses self-nature or substantial reality. The argument unfolds during a debate between the monk Nagasena and King Milinda (Menandros). Nagasena's challenge to the King is that he demonstrate the substantial reality of the chariot in which he arrived at their meeting when said chariot is (i) not identical to any one of its proper parts, (ii) not identical to the mereological sum of (...) its proper parts, and (iii) not identical to anything wholly distinct from its parts. After presenting the argument and defending it against a plausible objection, I argue that it cannot be taken to show that persons lack self-nature. (shrink)

Objective: A deep understanding of the relationship between a scarce drug's dose and clinical response is necessary to appropriately distribute a supply-constrained drug along these lines. Summary of key data: The vast majority of drug development and repurposing during the COVID-19 pandemic – an event that has made clear the ever-present scarcity in healthcare systems –has been ignorant of scarcity and dose optimisation's ability to help address it. Conclusions: Future pandemic clinical trials systems should obtain dose optimisation data, as these (...) appear necessary to enable appropriate scarce resource allocation according to societal values. (shrink)

This essay explores the thesis that for vague predicates, uncertainty over whether a borderline instance x of red/large/tall/good is to be understood as practical uncertainty over whether to treat x as red/large/tall/good. Expressivist and quasi-realist treatments of vague predicates due to John MacFarlane and Daniel Elstein provide the stalking-horse. It examines the notion of treating/counting a thing as F , and links a central question about our attitudes to vague predications to normative evaluation of plans to treat a thing as (...) F . The essay examines how the account applies to normatively defective or contested terms. The final section raises a puzzle about the mechanics of MacFarlane’s detailed implementation for the case of gradable adjectives. (shrink)

Marilyn Adams rightly pointed out that there are many kinds of evil, some of which are horrendous. I claim that one species of horrendous evil is what I call horrendous-difference disabilities. I distinguish two subspecies of horrendous-difference disabilities based in part on the temporal relation between one’s rational moral wishing for a certain human function F and its being thwarted by intrinsic and extrinsic conditions. Next, I offer a theodicy for each subspecies of horrendous-difference disability. Although I appeal to some (...) claims made by Marilyn Adams for this theodicy, I reject one particular claim. I deny that one must be aware that one participates in a horrendous evil when the horrific event occurs. To develop this point and its relevance for a theodicy for horrendous-difference disabilities, I engage with Andrew Chignell’s work on infant suffering. In doing so, I show that what partly motivates the claim is a time-bias, i.e., near-bias. By rejecting this time-bias, I show how it is possible, given post-mortem life, for persons with profound cognitive disabilities to participate in horrendous evils and how these might be defeated by God. (shrink)

In elite sport, the advantages demonstrated by expert performers over novices are sometimes due in part to their superior physical fitness or to their greater technical precision in executing specialist motor skills. However at the very highest levels, all competitors typically share extraordinary physical capacities and have supremely well-honed techniques. Among the extra factors which can differentiate between the best performers, psychological skills are paramount. These range from the capacities to cope under pressure and to bounce back from setbacks, to (...) the knowledge of themselves, opponents, and the domain, which experts access and apply in performance. In the companion chapter on breadth and depth of knowledge in expert sport (see Chapter 11), we discussed the forms or kinds of knowledge deployed by elite athletes, and described some lines of research which seek to tap and study such expert knowledge (McPherson & MacMahon, 2008; McRobert, Ward, Eccles & Williams, 2011). In this chapter we focus more directly on questions about methods for measuring or more accurately assessing expert knowledge, in particular addressing a wider range of methods to help us understand what experts know. Suggesting that sport researchers can productively adopt and adapt existing qualitative methodologies for integration with more standard quantitative methods, we introduce and survey a number of areas of qualitative research in psychology. (shrink)

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...) Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

This well chosen collection of essays written by recognized scholars addresses many of the intriguing aspects concerning the controversy over meat consumption. These aspects include not only eating meat, but also hunting animals, breeding, feeding, killing, and shredding them for our use, buying meat, the economics of the meat industry, the understanding of predation and food webs in ecology, and the significance of animals for issues about nutrition, gender, wealth, and cultural autonomy. Dombrowski rightly notes that the contemporary debate regarding (...) philosophical vegetarianism has been profoundly shaped by the historical figures who have rejected or embraced the anthropocentrism entrenched in Western thought. Three anthropological-medical essays compare meat with vegetarian diets. Eight essays treat the recent philosophical debate over the moral status of animals and whether vegetarianism is obligatory. Several essays discuss religious views on meat-eating and vegetarianism. Three essays explore meat, patriarchy, and the exploitation of nature and animals with respect to race, gender, sexual orientation, and socioeconomic class. The last four essays debate how to understand predation, environmental ethics, and animal protection. This collection is a fine entrée for all readers of this journal, since the debate over meat must by now figure into every thinking person’s diet. (shrink)

Effective altruism is a movement which aims to maximise good. Effective altruists are concerned with extreme poverty and many of them think that individuals have an obligation to donate to effective charities to alleviate extreme poverty. Their reasoning, which I will scrutinise, is as follows: -/- Premise 1. Extreme poverty is very bad. -/- Premise 2. If it is in our power to prevent something very bad from happening, without thereby sacrificing anything else morally significant, we ought, morally, to do (...) it. -/- Premise 3. Individuals ought to choose the effective option in preventing very bad things. -/- Premise 4. Donating to effective charities is one of the best ways to alleviate extreme poverty. -/- Conclusion. Individuals ought to donate to effective charities working towards extreme poverty alleviation where doing so does not require them to give up anything of moral significance. -/- I will scrutinise each of these premises in turn. -/- For Premise 1, I focus on hedonistic utilitarianism and criticise its outlook on extreme poverty. I claim that hedonistic utilitarianism might be problematic for effective altruism. -/- Premise 2 is Peter Singer's Weaker Principle of Sacrifice. I introduce several possible interpretations of it, and press several objections to it by stressing overpermissiveness, luck, and rights. I defend strengthening the Weaker Principle of Sacrifice without making it overdemanding. -/- I claim that Premise 3 can be attractive to both consequentialists and non-consequentialists. Nevertheless, by showing that effectiveness sometimes violates fairness, I propose a method which avoids always helping the greater number and always giving everyone equal chances of being helped, which is compatible with effective altruism. -/- Against Premise 4, I assess the systemic change objection, which states that effective altruism unjustifiably distracts individuals from systemic change. By considering risk and the moral standing of the future extremely poor, I claim that the systemic change objection is partially successful, but cannot undermine effective altruism. -/- After analysing all of these, I argue that individuals have an obligation to donate to effective charities to alleviate extreme poverty where doing so does not require them to give up anything of moral significance. (shrink)

In this dissertation, I seek to explain G.W.F. Hegel’s view that human accessible conceptual content can provide knowledge about the nature or essence of things. I call this view “Conceptual Transparency.” It finds its historical antecedent in the views of eighteenth century German rationalists, which were strongly criticized by Immanuel Kant. I argue that Hegel explains Conceptual Transparency in such a way that preserves many implications of German rationalism, but in a form that is largely compatible with Kant’s criticisms of (...) the original rationalist version. After providing background on Hegel’s relationship to the traditional rationalist theory of concepts and Kant’s challenge to it, I claim that Hegel’s central task is to provide a theory of conceptual content that allows a relationship to the objective world without being dependent on the specifically sensory aspect of the world, which Kant’s theory of concepts required. Since many interpreters deny that Hegel’s use of the term “concept” is comparable to other historical philosophers (or our own), I first show that Hegel’s critique of standard conceptions of concepts presupposes an agreement of subject matter. I then show how Hegel’s account of the “formal concept” provides the skeleton for a view of conceptual content that relies on negative relations between terms, rather than a relation to sensibility, to provide content. Hegel’s account of conceptual content is completed when he shows how a universal term is further specified so that it can determine singular objects. This occurs in its adequate form in a teleological process. I argue that Hegel’s account of teleology in the Science of Logic is an attempt to explain how and where Conceptual Transparency obtains. A teleological process is one in which a concept constitutes an object, and this means that a concept is perfectly adequate to express that thing’s nature and not merely to represent it. However, in the final chapter, I show that Hegel’s concept of teleology is meant paradigmatically to illuminate how human purposive processes have constituted a social world that is conceptually accessible to us. In this way, the primary “province” of Hegel’s rationalism is the human constructed world. (shrink)

Zuko’s plight illuminates the process of aspiration, including common challenges to the aspirant. As Agnes Callard understands it, aspiration typically involves a “deep change in how one sees and feels and thinks.” And this deep change is often intertwined with a change in what contemporary philosopher Christine Korsgaard calls practical identity, a “description under which you value yourself, . . . under which you find your life to be worth living and your actions to be worth undertaking.” But as Zuko (...) shows, practical identities are complex, sometimes unwieldy, and changes in explicit self-conceptions can take work, time, and perhaps some luck to bring about the deep change one aspires to. Even after he explicitly disavows his past actions, Zuko finds himself reverting to past behaviors, doing things that (on some level) he wishes he would not. These actions frustrate him— “Why am I so bad at being good?”— but they are not mere lapses in judgment. They come naturally and express an identity that Zuko had long embraced and cultivated but is now trying to leave behind. The arc of Zuko’s transformation illustrates the interplay between two dimensions of practical identity. On the one hand, as Korsgaard’s account emphasizes, our explicit self-conceptions and values matter. They guide our actions and shape how we see the world. But Zuko’s struggles suggest that such self-conceptions and aspirations are only part of the story. According to Martin Heidegger’s notion of being-in-the-world, our practical identity depends more on our existential engagement with the world than on our explicit self-conceptions. And these different dimensions of practical identity do not always align. As William Blattner writes, “Some of the most challenging conflicts in our lives arise when who we are existentially engaged in being stands in tension with who we think of ourselves as being.” Zuko is frustrated because, despite consciously trying to change, his being-in-the-world conflicts with his Korsgaardian practical identity. His world is still shaped (residually) by an identity he wants to shed. The way Zuko’s world and actions continue to be shaped by an identity he is trying to leave behind highlights a key difficulty of transformation. Zuko’s desire to prove his worth to his father and his rage have so thoroughly permeated his being-in-the-world that they are second nature. They shape his orientation toward the world and fuel his firebending. For better and worse, his spontaneous actions do not always fall in step with his conscious commitments. The same skills and dispositions Zuko previously cultivated as central to his identity now lead to unwanted actions and keep him from aspired-to actions. To become good in the way he wants, Zuko must not only cultivate the dispositions that will allow his aspired-to identity to become part and parcel of his being-in-the-world, but he must clear out or modify the residual influence of his past identity and related dispositions and values. -/- . (shrink)

Critics of the computational connectionism of the last decade suggest that it shares undesirable features with earlier empiricist or associationist approaches, and with behaviourist theories of learning. To assess the accuracy of this charge the works of earlier writers are examined for the presence of such features, and brief accounts of those found are given for Herbert Spencer, William James and the learning theorists Thorndike, Pavlov and Hull. The idea that cognition depends on associative connections among large networks of (...) neurons is indeed one with precedents, although the implications of this for psychological issues have been interpreted variously — not all versions of connectionism are alike. (shrink)

What is to be learned from the chaotic downfall of the Weimar Republic and the erosion of European liberal statehood in the interwar period vis-a-vis the ongoing European crisis? This book analyses and explains the recurrent emergence of crises in European societies. It asks how previous crises can inform our understanding of the present crisis. The particular perspective advanced is that these crises not only are economic and social crises, but must also be understood as crises of public power, order (...) and authority. In other words, it argues that substantial challenges to the functional and normative setup of democracy and the rule of law were central to the emergence and the unfolding of these crises. The book draws on and adds to the rich ’crises literature’ developed within the critical theory tradition to outline a conceptual framework for understanding what societal crises are. The central idea is that societal crises represent a discrepancy between the unfolding of social processes and the institutional frameworks that have been established to normatively stabilize such processes. The crises at issue emerged in periods characterized by strong social, economic and technological transformations as well as situations of political upheaval. As such, the crises represented moments where the existing functional and normative grid of society, as embodied in notions of public order and authority, were severely challenged and in many instances undermined. Seen in this perspective, the book reconstructs how crises unfolded, how they were experienced, and what kind of responses the specific crises in question provoked. -/- Table of Contents -/- Introduction: European Crises of Public Power: From Weimar until Today, Poul F. Kjaer & Niklas Olsen / Part I: Semantics, Notions and Narratives of Societal Crisis / 1. What Time Frame Makes Sense for Thinking About Crises?, David Runciman / 2. The Stakes of Crises, Janet Roitman / Part II: Weimar and the Interwar Period: Ideologies of Anti-Modernism and Liberalism / 3. The Crisis of Modernity – Modernity as Crisis: Towards a Typology of Crisis Discourses in Interwar East Central Europe and Beyond, Balázs Trencsényi / 4. European Legitimacy Crisis – Weimar and Today: Rational and Theocratic Authority in the Schmitt-Strauss Exchange, John P. McCormick / 5. Crisis and the Consumer: Reconstructions of Liberalism in Twentieth Century Political Thought , Niklas Olsen / Part III: The Causes of Crises: From Corporatism to Governance / 6. The Constitutionalization of Labour Law and the Crisis of National Democracy , Chris Thornhill / 7. The Crisis in Labour Law: From Weimar to Austerity Ruth Dukes / 8. From the Crisis of Corporatism to the Crisis of Governance, Poul F. Kjaer / Part IV: The Euro and the Crisis of Law and Democracy / 9. What is left of the European Economic Constitution II? From Pyrrhic Victory to Cannae Defeat Christian Joerges / 10. Reflections on Europe’s “Rule of Law Crisis”, Jan-Werner Müller. 11. Democracy under Siege: The Decay of Constitutionalisation and the Crisis of Public Law and Public Opinion, Hauke Brunkhorst/ Part V: The Consequences of Crises and the Future of Europe / 12. Crises and Extra-Legality: From Above and From Below, William E. Scheuermann / 13. “We could all go Down the Road of Lebanon” – Crisis Thinking on the Anti-Muslim Far Right, Mikkel Thorup / 14. Conclusions and Perspectives: The Re-Constitution of Europe, Poul F. Kjaer & Niklas Olsen Index . (shrink)

This paper is a reply to a prior work by C. J. F. Williams in which he criticised David Kaplan's account of the contingent analytic. In this paper, I take myself to be defending Kaplan's views against Williams' attack.

“Responsibility After ‘Morality’: Strawson’s Naturalism and Williams’ Genealogy” -/- Although P.F. Strawson and Bernard Williams have both made highly significant and influential contributions on the subject of moral responsibility they never directly engaged with the views of each other. On one natural reading their views are directly opposed. Strawson seeks to discredit scepticism about moral responsibility by means of naturalistic observations and arguments. Williams, by contrast, employs genealogical methods to support sceptical conclusions about moral responsibility (and blame). This way of (...) reading their views depends, however, on the assumption that the concept of responsibility that Strawson aims to defend is the same as Williams aims to discredit. The conception of responsibility that Williams aims to discredit is one that is based around the assumptions and aspirations of “the morality system”. This paper argues that while there is a plausible way of interpreting Strawson’s naturalism that uncouples it from the assumptions of “the morality system”, there remain significant differences between Strawson and Williams. More specifically, even if Strawson’s understanding of moral responsibility abandons the (narrow) assumptions of “morality”, Strawson is still committed to “conservative” and “optimistic” conclusions about moral responsibility that cannot be sustained. [March 2022] -/- . (shrink)

Článek se zaměřuje na teorie kulturní mezery, jež ve svém díle rozpracovali Thorstein Veblen a William F. Ogburn. Sleduje přitom zejména dva motivy: jak se v přístupech těchto autorů tematizuje vztah sociální vědy a jejího publika a jak je argument mezery využit k prosazování specifického pojetí „účelu“ sociální vědy. Je zde předvedeno, jak se ve dvou různých stylech psaní a ve dvou různých argumentačních strategiích v podstatě identická teorie proměňuje a současně zužitkovává k prosazení distinktivního pojetí sociální vědy. Veblenův (...) klíčový motiv „sebe-konfrontace“ společnosti je srovnán s Ogburnovým motivem „využitelnosti“ vědění ve vztahu k úvahám o literárních technologiích vědy. (shrink)

This paper offers an overview of various alternative formulations for Analysis, the theory of Integral and Differential Calculus, and its diverging conceptions of the topological structure of the continuum. We pay particularly attention to Smooth Analysis, a proposal created by William Lawvere and Anders Kock based on Grothendieck’s work on a categorical algebraic geometry. The role of Heyting’s logic, common to all these alternatives is emphasized.

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...) one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

This largely expository lecture deals with aspects of traditional solid geometry suitable for applications in logic courses. Polygons are plane or two-dimensional; the simplest are triangles. Polyhedra [or polyhedrons] are solid or three-dimensional; the simplest are tetrahedra [or triangular pyramids, made of four triangles]. -/- A regular polygon has equal sides and equal angles. A polyhedron having congruent faces and congruent [polyhedral] angles is not called regular, as some might expect; rather they are said to be subregular—a word coined for (...) this lecture. To repeat, a subregular polyhedron has congruent faces and congruent [polyhedral] angles. A subregular polyhedron whose faces are all regular polygons is regular—using standard terminology. -/- Geometers before Euclid showed that there are “essentially” only five regular polyhedra: every regular polyhedron is a tetrahedron (4 faces), a hexahedron or cube (6 faces), an octahedron (8 faces), a dodecahedron (12 faces), or an icosahedron (20 faces). -/- The first question is whether there are subregular polyhedra that are not regular. For example, are there tetrahedra having congruent angles and congruent triangular faces but whose faces are not equilateral triangles? -/- Another question is the classification of subregular polyhedra if they exist. For example, considering the fact that the regular tetrahedra all have equilateral triangles as faces, we ask which triangles other than equilaterals are faces of subregular tetrahedra. Similarly, considering the fact that the regular hexahedra all have squares as faces, we ask which quadrangles other than squares are faces of subregular hexahedra. -/- After introductory remarks that include historical and philosophical points, we concentrate on tetrahedra. A triangle that is congruent to each of the four faces of a tetrahedron is called a generator of the tetrahedron. The main result proved is that every acute triangle is a generator of a subregular tetrahedron. The proof includes an algorithm –implementable with scissors and paper –that constructs from any given acute triangle a subregular tetrahedron whose faces are congruent to the given triangle. -/- Algorithm: Given any acute triangle. Construct a similar triangle whose sides are double the sides of the given triangle. Draw the three lines connecting the three midpoints of the sides (making four triangles congruent to the given triangle—a central triangle surrounded by three peripheral triangles). Make three “hinges” along the lines connecting the midpoints. “Fold” the peripheral triangles together (into a tetrahedron). [LIGHTLY EDITED VERSION OF PRINTED ABSTRACT] Acknowledgements: William Lawvere, Colin McLarty, Irvin Miller, Frango Nabrasa, Lawrence Spector, Roberto Torretti, and Richard Vesley. -/- . (shrink)

‎A universal schema for diagonalization was popularized by N. S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fit more theorems in the universal‎ ‎schema of diagonalization‎, ‎such as Euclid's proof for the infinitude of the primes and new (...) proofs of G. Boolos (1997) for Cantor's theorem on the non-equinumerosity of a set with its powerset‎. ‎Then‎, ‎in Linear Temporal Logic‎, ‎we show the non-existence of a fixed-point in this logic whose proof resembles the argument of Yablo's paradox (1985‎, ‎1993)‎. ‎Thus‎, ‎Yablo's paradox turns for the first time into a genuine mathematico-logical theorem in the framework of Linear Temporal Logic‎. ‎Again the diagonal schema of the paper is used in this proof; and it is also shown that G. Priest's inclosure schema (1997) can fit in our universal diagonal / fixed-point schema‎. ‎We also show the existence of dominating (Ackermann-like) functions (which dominate a given countable set of functions‎, ‎such as primitive recursive functions) in the schema. (shrink)

Scott Aikin’s Evidentialism and the Will to Believe is the first book-length discussion of W.K. Clifford’s 1877 “The Ethics of Belief ” and William James’s 1896 “The Will to Believe.” Except for twenty pages, the book splits evenly between a detailed discussion of the two essays. A good book demands some good criticism, and I am hoping that the comments I make are read in that light. Evidentialism and the Will to Believe appears in the Bloomsbury Research in Analytic (...) Philosophy series. Presumably because the book was written for this series, the discussion of historical context is kept to a minimum, and references to other writings of Clifford and James, and to the secondary literature, are scant. (shrink)

This sketch of a perhaps future 'Elementary Theory of the Category of Mereological Sums (including Mereological Wholes and Parts)' relates to my previous papers "The Topos of Emergence" and "Intelligible Gunk". I assert that for successfully categorizing Mereology one has to start with a specific setting of gunk. In this paper we will give a sketch of a categorically version of particular mereological structures. I.e. we will follow the example of F.W.Lawvere’s “An elementary theory of the category of sets” (...) -/- where he introduced a categorised version of set theory. We refer to sirenians mainly for the reason that they are the closest living relatives of elephants. -/- But they are also rather underestimated creatures - at the first moment rather dull and clumsy, but moving gracefully and elegant in their natural habitat.And some sailors already reckognized their bewitching attraction before we did.Yet we still think this sirenia is a modest creature compared with the elephant in the room. (shrink)

Divine simplicity is central to Thomas Aquinas’s philosophy of God. Most important for Aquinas is his view that God’s existence (esse) is identical to God’s essence; for everything other than God, there is a distinction between existence and essence. However, recent developments in analytic philosophy about the nature of existence threaten to undermine what Aquinas thought regarding divine simplicity. In the first chapter of this dissertation, I trace Aquinas’s thinking on divine simplicity through the various texts he wrote regarding the (...) matter. I establish that it is crucial for Aquinas that God is identical to his existence. But, is it even coherent to talk about “a thing’s existence?” In Chapter Two I summarize the arguments of C.J.F. Williams that existence is not a real property that individuals have and that predicating the word “exists” after the name of an individual produces linguistic gibberish. After considering, and rejecting, in Chapter Three attempts by some philosophers to refute Williams’s arguments, I turn, in Chapter Four, to a more detailed account of what Aquinas means by esse, the Latin word often rendered in English as “existence.” The conclusion that I come to is that Aquinas does not mean by esse what contemporary philosophers have usually meant by “existence.” Rather, he understands esse to be the act by which anything can be anything at all, instead of there being nothing whatsoever. In the final chapter, I turn to implications of this for Aquinas’s views of divine simplicity, showing that rather than being incoherent, Aquinas’s thinking on esse points toward the unfathomable mystery that is God. (shrink)

In "Freedom and Resentment" P.F. Strawson, famously, advances a strong form of naturalism that aims to discredit kcepticism about moral responsibility by way of approaching these issues through an account of our reactive attitudes. However, even those who follow Strawson's general strategy on this subject accept that his strong naturalist program needs to be substantially modified, if not rejected. One of the most influential and important efforts to revise and reconstruct the Strawsonian program along these lines has been provided by (...) R. Jay Wallace, who presents a "narrower" construal of our reactive attitudes in his own account of what is involved in holding an agent responsible. In this paper I argue that Wallace's narrow construal of responsibility comes at too high a cost and that naturalists of a broadly Strawsonian cast should reject it. Related to this point, I argue that Wallace's narrow conception of responsibility is a product of his effort to construct his account within the confines of "the morality system" (i.e. as described by Bernard Williams) and that this way of construing responsibility leads into series of unnecessary and misleading oppositions. A more plausible middle path, I maintain, can be found between Strawson's excessively strong naturalist program and Wallace's narrow and restrictive view of responsibility. (shrink)

I describe a way of handling comparative adjectives "a is P-er than b", in terms of degrees "a has P to degree d". I defend this approach against attacks due to C J F Williams in an article in the same issue of *Analysis*, by tracing his objections to the assumption that degrees must be linearly ordered. Since this abstract is written years later, I can mention that some of the ideas were taken further in my Hypercomparatives. Synthese 111, 1997, (...) 97-114 . (shrink)

We might describe the philosophical issue of human freedom and moral responsibility as an existential metaphysical problem. Problems of this kind are not just a matter of theoretical interest and curiosity: They address issues that we care about and that affect us. They are, more specifically, relevant to the significance and value that we attach to our lives and the way that we lead them. According to the orthodox view, there is a tidy connection between skepticism and pessimism. Skepticism threatens (...) a wide range of interests and concerns that themselves rest on the foundation of our self-conception as responsible moral agents. From this perspective, whereas skepticism licenses a degree of pessimism about our human predicament, the defeat of skepticism serves to vindicate optimism. In recent years this orthodox view of the relationship between skepticism and pessimism has been challenged. It has been argued, for example, that skepticism may be defended in much more optimistic terms. While we have reason to accept skepticism, we have no reason to draw any bleak or depressing consequences from this. Another way of severing the orthodox connection between skepticism and pessimism is to reject skepticism but deny that this will serve to secure or salvage any unqualified form of optimism. This chapter reviews and contrasts these various positions and approaches, beginning with an account of P. F. Strawson’s particularly influential statement of the relationship between the skeptical challenge and pessimism. (shrink)

Manifold expressions of a particular critique appear throughout Søren Kierkegaard’s pseudonymous corpus: for Kierkegaard and his pseudonyms faith is categorically not a first immediacy, and it is certainly not the first immediate, the annulment of which concludes the first movement of Hegelian philosophy. Kierkegaard’s pseudonyms make it clear that he holds the Hegelian dogmaticians responsible for the promulgation of this misconception, but when Kierkegaard’s journals and papers are consulted another transgressor emerges: the renowned anti-idealist F.D.E. Schleiermacher. I address the extent (...) to which this particular indictment is justified; over-against Gerhard Schreiber, I argue that this characterization of Schleiermacher’s view of religion is indeed a de facto critique. I begin by presenting and demonstrating the ubiquity of the phenomenon at the heart of Schleiermacher’s conception of perfect God-consciousness, then proceed to apply criticisms raised by Kierkegaardian pseudonyms Judge William, Vigilius Haufniensis, Johannes Climacus, and Anti-Climacus, supplemented with concerns raised by Kierkegaard himself, in order to demonstrate that these criticisms do indeed apply to and problematize Schleiermacher’s view. (shrink)

According to one large family of views, scientific explanations explain a phenomenon (such as an event or a regularity) by subsuming it under a general representation, model, prototype, or schema (see Bechtel, W., & Abrahamsen, A. (2005). Explanation: A mechanist alternative. Studies in History and Philosophy of Biological and Biomedical Sciences, 36(2), 421–441; Churchland, P. M. (1989). A neurocomputational perspective: The nature of mind and the structure of science. Cambridge: MIT Press; Darden (2006); Hempel, C. G. (1965). Aspects of scientific (...) explanation. In C. G. Hempel (Ed.), Aspects of scientific explanation (pp. 331–496). New York: Free Press; Kitcher (1989); Machamer, P., Darden, L., & Craver, C. F. (2000). Thinking about mechanisms. Philosophy of Science, 67(1), 1–25). My concern is with the minimal suggestion that an adequate philosophical theory of scientific explanation can limit its attention to the format or structure with which theories are represented. The representational subsumption view is a plausible hypothesis about the psychology of understanding. It is also a plausible claim about how scientists present their knowledge to the world. However, one cannot address the central questions for a philosophical theory of scientific explanation without turning one’s attention from the structure of representations to the basic commitments about the worldly structures that plausibly count as explanatory. A philosophical theory of scientific explanation should achieve two goals. The first is explanatory demarcation. It should show how explanation relates with other scientific achievements, such as control, description, measurement, prediction, and taxonomy. The second is explanatory normativity. It should say when putative explanations succeed and fail. One cannot achieve these goals without undertaking commitments about the kinds of ontic structures that plausibly count as explanatory. Representations convey explanatory information about a phenomenon when and only when they describe the ontic explanations for those phenomena. (shrink)

The problem of truth in fiction concerns how to tell whether a given proposition is true in a given fiction. Thus far, the nearly universal consensus has been that some propositions are ‘implicitly true’ in some fictions: such propositions are not expressed by any explicit statements in the relevant work, but are nevertheless held to be true in those works on the basis of some other set of criteria. I call this family of views ‘implicitism’. I argue that implicitism faces (...) serious problems, whereas the opposite view is much more plausible than has previously been thought. After mounting a limited defence of explicitism, I explore a difficult problem for the view and discuss some possible responses. (shrink)